Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to pr...(展开全部)

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to pr...(展开全部)

The book is written for graduate students who have read the first book and like to see the proofs which were not given there and/or want to see the full extent of the theory. On the other hand it can be read independently from the first one, only a modest knowledge on Fourier series/tranform is required to understand the examples. This book fills a major gap in the textbook li...(展开全部)

The book is written for graduate students who have read the first book and like to see the proofs which were not given there and/or want to see the full extent of the theory. On the other hand it can be read independently from the first one, only a modest knowledge on Fourier series/tranform is required to understand the examples. This book fills a major gap in the textbook li...(展开全部)

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to pr...(展开全部)

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to pr...(展开全部)

It provides a transition from elementary calculus to advanced courses in real and complex function theory and introduces the reader to some of the abstract thinking that pervades modern analysis.